lua5.1 convertkdef2.lua